Integrals 301 to 400

[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA.


Problem 301	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	417	0	0	0	0	0	-1
N.S.	1	1.00	2.04	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.132	0.445	0.013	0.000	0.000	0.000	0.000	0.000


Problem 302	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	207	207	337	0	0	0	0	0	-1
N.S.	1	1.00	1.63	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.176	0.596	0.035	0.000	0.000	0.000	0.000	0.000


Problem 303	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	399	0	0	0	0	0	-1
N.S.	1	1.00	1.89	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.239	0.848	0.037	0.000	0.000	0.000	0.000	0.000


Problem 304	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	210	210	452	0	0	0	0	0	-1
N.S.	1	1.00	2.15	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.259	0.803	0.012	0.000	0.000	0.000	0.000	0.000


Problem 305	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	216	216	505	0	0	0	0	0	-1
N.S.	1	1.00	2.34	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.263	0.914	0.011	0.000	0.000	0.000	0.000	0.000


Problem 306	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	264	264	194	0	0	0	262	0	-1
N.S.	1	1.00	0.73	0.00	0.00	0.00	0.99	0.00	-0.00
time (sec)	N/A	0.242	0.210	0.013	0.000	0.000	11.271	0.000	0.000


Problem 307	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	206	206	169	0	0	0	192	0	-1
N.S.	1	1.00	0.82	0.00	0.00	0.00	0.93	0.00	-0.00
time (sec)	N/A	0.110	0.146	0.013	0.000	0.000	7.162	0.000	0.000


Problem 308	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	153	153	116	0	0	0	122	0	-1
N.S.	1	1.00	0.76	0.00	0.00	0.00	0.80	0.00	-0.01
time (sec)	N/A	0.045	0.102	0.010	0.000	0.000	4.289	0.000	0.000


Problem 309	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	73	0	0	0	61	0	-1
N.S.	1	1.00	0.97	0.00	0.00	0.00	0.81	0.00	-0.01
time (sec)	N/A	0.013	0.067	0.024	0.000	0.000	1.360	0.000	0.000


Problem 310	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	163	163	124	0	0	0	337	0	-1
N.S.	1	1.00	0.76	0.00	0.00	0.00	2.07	0.00	-0.01
time (sec)	N/A	0.090	0.125	0.015	0.000	0.000	5.040	0.000	0.000


Problem 311	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	214	214	180	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.144	0.162	0.015	0.000	0.000	0.000	0.000	0.000


Problem 312	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	275	275	206	0	0	0	0	0	-1
N.S.	1	1.00	0.75	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.283	0.222	0.014	0.000	0.000	0.000	0.000	0.000


Problem 313	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	77	0	0	0	308	0	-1
N.S.	1	1.00	0.87	0.00	0.00	0.00	3.46	0.00	-0.01
time (sec)	N/A	0.036	0.114	0.014	0.000	0.000	4.449	0.000	0.000


Problem 314	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	96	96	90	0	0	0	0	0	-1
N.S.	1	1.00	0.94	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.054	0.153	0.027	0.000	0.000	0.000	0.000	0.000


Problem 315	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	214	214	68	167	0	307	68	167	201
N.S.	1	1.00	0.32	0.78	0.00	1.43	0.32	0.78	0.94
time (sec)	N/A	0.163	0.083	0.513	0.000	2.716	4.066	1.191	0.111


Problem 316	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	230	428	240	1045	0	252	-1
N.S.	1	1.00	0.90	1.68	0.94	4.10	0.00	0.99	-0.00
time (sec)	N/A	0.386	0.625	0.089	0.339	13.042	0.000	1.155	0.000


Problem 317	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	199	387	200	920	0	201	-1
N.S.	1	1.00	0.94	1.83	0.95	4.36	0.00	0.95	-0.00
time (sec)	N/A	0.244	0.476	0.089	0.316	10.539	0.000	0.982	0.000


Problem 318	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	153	153	161	323	140	745	0	157	-1
N.S.	1	1.00	1.05	2.11	0.92	4.87	0.00	1.03	-0.01
time (sec)	N/A	0.134	0.404	0.082	0.301	3.971	0.000	0.856	0.000


Problem 319	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	133	303	119	669	0	135	-1
N.S.	1	1.00	1.05	2.39	0.94	5.27	0.00	1.06	-0.01
time (sec)	N/A	0.067	0.322	0.080	0.305	3.948	0.000	1.919	0.000


Problem 320	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	103	103	110	261	83	565	0	109	-1
N.S.	1	1.00	1.07	2.53	0.81	5.49	0.00	1.06	-0.01
time (sec)	N/A	0.044	0.018	0.069	0.286	3.440	0.000	1.805	0.000


Problem 321	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	116	116	137	305	103	1299	0	0	-1
N.S.	1	1.00	1.18	2.63	0.89	11.20	0.00	0.00	-0.01
time (sec)	N/A	0.063	0.232	0.075	0.296	3.513	0.000	0.000	0.000


Problem 322	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	105	105	124	370	0	596	0	145	-1
N.S.	1	1.00	1.18	3.52	0.00	5.68	0.00	1.38	-0.01
time (sec)	N/A	0.109	0.261	0.102	0.000	2.618	0.000	1.314	0.000


Problem 323	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	160	160	144	442	0	737	0	230	-1
N.S.	1	1.00	0.90	2.76	0.00	4.61	0.00	1.44	-0.01
time (sec)	N/A	0.138	0.441	0.092	0.000	2.605	0.000	1.011	0.000


Problem 324	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	191	191	173	465	0	829	0	309	-1
N.S.	1	1.00	0.91	2.43	0.00	4.34	0.00	1.62	-0.01
time (sec)	N/A	0.153	0.656	0.075	0.000	2.396	0.000	1.390	0.000


Problem 325	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	274	274	215	558	0	1016	0	596	-1
N.S.	1	1.00	0.78	2.04	0.00	3.71	0.00	2.18	-0.00
time (sec)	N/A	0.200	0.799	0.086	0.000	2.371	0.000	1.533	0.000


Problem 326	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	195	195	161	258	166	1021	0	163	-1
N.S.	1	1.00	0.83	1.32	0.85	5.24	0.00	0.84	-0.01
time (sec)	N/A	0.312	0.551	0.077	0.306	6.808	0.000	1.417	0.000


Problem 327	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	152	152	137	216	127	881	0	129	-1
N.S.	1	1.00	0.90	1.42	0.84	5.80	0.00	0.85	-0.01
time (sec)	N/A	0.183	0.403	0.098	0.298	6.429	0.000	1.195	0.000


Problem 328	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	109	109	116	172	89	721	0	105	-1
N.S.	1	1.00	1.06	1.58	0.82	6.61	0.00	0.96	-0.01
time (sec)	N/A	0.091	0.336	0.073	0.290	2.620	0.000	1.538	0.000


Problem 329	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	86	86	98	151	71	620	0	88	-1
N.S.	1	1.00	1.14	1.76	0.83	7.21	0.00	1.02	-0.01
time (sec)	N/A	0.031	0.253	0.062	0.307	2.706	0.000	1.106	0.000


Problem 330	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	54	54	64	127	53	205	0	59	-1
N.S.	1	1.00	1.19	2.35	0.98	3.80	0.00	1.09	-0.02
time (sec)	N/A	0.011	0.005	0.071	0.283	3.177	0.000	1.477	0.000


Problem 331	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	86	86	104	158	0	625	0	0	-1
N.S.	1	1.00	1.21	1.84	0.00	7.27	0.00	0.00	-0.01
time (sec)	N/A	0.057	0.254	0.079	0.000	3.749	0.000	0.000	0.000


Problem 332	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	111	111	128	180	0	747	0	142	-1
N.S.	1	1.00	1.15	1.62	0.00	6.73	0.00	1.28	-0.01
time (sec)	N/A	0.069	0.345	0.066	0.000	3.022	0.000	1.447	0.000


Problem 333	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	168	168	198	235	0	969	0	239	-1
N.S.	1	1.00	1.18	1.40	0.00	5.77	0.00	1.42	-0.01
time (sec)	N/A	0.099	0.508	0.080	0.000	3.568	0.000	1.979	0.000


Problem 334	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	146	146	198	438	242	1493	0	299	-1
N.S.	1	1.00	1.36	3.00	1.66	10.23	0.00	2.05	-0.01
time (sec)	N/A	0.200	0.721	0.096	0.344	9.197	0.000	1.054	0.000


Problem 335	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	123	123	137	397	204	1304	0	219	-1
N.S.	1	1.00	1.11	3.23	1.66	10.60	0.00	1.78	-0.01
time (sec)	N/A	0.106	0.569	0.069	0.327	9.955	0.000	0.861	0.000


Problem 336	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	106	355	168	445	0	174	-1
N.S.	1	1.00	1.12	3.74	1.77	4.68	0.00	1.83	-0.01
time (sec)	N/A	0.073	0.437	0.074	0.313	2.385	0.000	1.263	0.000


Problem 337	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	88	88	99	335	147	416	0	162	-1
N.S.	1	1.00	1.12	3.81	1.67	4.73	0.00	1.84	-0.01
time (sec)	N/A	0.033	0.403	0.076	0.300	2.744	0.000	0.791	0.000


Problem 338	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	94	94	104	315	123	432	0	172	-1
N.S.	1	1.00	1.11	3.35	1.31	4.60	0.00	1.83	-0.01
time (sec)	N/A	0.031	0.050	0.068	0.294	3.017	0.000	1.180	0.000


Problem 339	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	144	363	0	1284	0	0	-1
N.S.	1	1.00	0.98	2.47	0.00	8.73	0.00	0.00	-0.01
time (sec)	N/A	0.093	0.751	0.062	0.000	2.934	0.000	0.000	0.000


Problem 340	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	194	194	178	403	0	1527	0	266	-1
N.S.	1	1.00	0.92	2.08	0.00	7.87	0.00	1.37	-0.01
time (sec)	N/A	0.114	0.714	0.102	0.000	3.823	0.000	1.690	0.000


Problem 341	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	276	276	217	479	0	1961	0	358	-1
N.S.	1	1.00	0.79	1.74	0.00	7.11	0.00	1.30	-0.00
time (sec)	N/A	0.152	0.812	0.098	0.000	3.321	0.000	1.778	0.000


Problem 342	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-1)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	244	244	251	477	266	1960	0	0	-1
N.S.	1	1.00	1.03	1.95	1.09	8.03	0.00	0.00	-0.00
time (sec)	N/A	0.562	1.244	0.100	0.328	69.122	0.000	0.000	0.000


Problem 343	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-1)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	210	435	227	1723	0	0	-1
N.S.	1	1.00	1.03	2.13	1.11	8.45	0.00	0.00	-0.00
time (sec)	N/A	0.335	1.029	0.088	0.315	78.125	0.000	0.000	0.000


Problem 344	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	160	160	173	390	189	1376	0	0	-1
N.S.	1	1.00	1.08	2.44	1.18	8.60	0.00	0.00	-0.01
time (sec)	N/A	0.215	0.861	0.079	0.308	11.063	0.000	0.000	0.000


Problem 345	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	137	137	146	369	170	1208	0	0	-1
N.S.	1	1.00	1.07	2.69	1.24	8.82	0.00	0.00	-0.01
time (sec)	N/A	0.112	0.687	0.072	0.306	10.625	0.000	0.000	0.000


Problem 346	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-1)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	100	344	149	368	0	0	-1
N.S.	1	1.00	1.11	3.82	1.66	4.09	0.00	0.00	-0.01
time (sec)	N/A	0.025	0.439	0.067	0.330	1.852	0.000	0.000	0.000


Problem 347	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	F	F(-1)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	101	215	93	373	0	0	-1
N.S.	1	1.00	1.11	2.36	1.02	4.10	0.00	0.00	-0.01
time (sec)	N/A	0.022	0.040	0.089	0.306	1.693	0.000	0.000	0.000


Problem 348	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	179	179	153	376	0	1213	0	600	-1
N.S.	1	1.00	0.85	2.10	0.00	6.78	0.00	3.35	-0.01
time (sec)	N/A	0.097	0.699	0.073	0.000	3.190	0.000	1.234	0.000


Problem 349	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	212	212	183	395	0	1479	0	0	-1
N.S.	1	1.00	0.86	1.86	0.00	6.98	0.00	0.00	-0.00
time (sec)	N/A	0.122	1.015	0.080	0.000	4.176	0.000	0.000	0.000


Problem 350	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	268	268	224	453	0	1910	0	0	-1
N.S.	1	1.00	0.84	1.69	0.00	7.13	0.00	0.00	-0.00
time (sec)	N/A	0.157	1.227	0.114	0.000	5.028	0.000	0.000	0.000


Problem 351	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	135	135	114	320	210	368	4134	624	363
N.S.	1	1.00	0.84	2.37	1.56	2.73	30.62	4.62	2.69
time (sec)	N/A	0.057	0.100	0.080	0.283	2.010	1.333	1.855	2.816


Problem 352	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	102	102	109	195	146	250	2181	410	255
N.S.	1	1.00	1.07	1.91	1.43	2.45	21.38	4.02	2.50
time (sec)	N/A	0.036	0.096	0.056	0.292	2.330	0.826	2.295	2.701


Problem 353	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	70	70	65	100	89	148	952	237	163
N.S.	1	1.00	0.93	1.43	1.27	2.11	13.60	3.39	2.33
time (sec)	N/A	0.022	0.060	0.071	0.295	2.358	0.481	1.394	2.629


Problem 354	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	77	77	64	0	0	0	345	0	-1
N.S.	1	1.00	0.83	0.00	0.00	0.00	4.48	0.00	-0.01
time (sec)	N/A	0.033	0.063	0.009	0.000	0.000	2.584	0.000	0.000


Problem 355	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	232	232	199	754	447	1027	14317	1750	932
N.S.	1	1.00	0.86	3.25	1.93	4.43	61.71	7.54	4.02
time (sec)	N/A	0.096	0.171	0.084	0.292	2.202	4.610	3.517	3.119


Problem 356	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	185	185	279	601	335	757	8940	1266	723
N.S.	1	1.00	1.51	3.25	1.81	4.09	48.32	6.84	3.91
time (sec)	N/A	0.069	0.193	0.080	0.288	2.025	2.670	2.763	3.051


Problem 357	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	140	140	184	420	235	519	5097	851	496
N.S.	1	1.00	1.31	3.00	1.68	3.71	36.41	6.08	3.54
time (sec)	N/A	0.048	0.117	0.066	0.284	2.129	1.521	1.790	2.837


Problem 358	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	148	148	132	0	0	0	1678	0	-1
N.S.	1	1.00	0.89	0.00	0.00	0.00	11.34	0.00	-0.01
time (sec)	N/A	0.140	0.138	0.011	0.000	0.000	3.710	0.000	0.000


Problem 359	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	343	343	302	2232	795	2165	35984	3713	1796
N.S.	1	1.00	0.88	6.51	2.32	6.31	104.91	10.83	5.24
time (sec)	N/A	0.143	0.226	0.095	0.319	1.941	12.136	1.242	3.809


Problem 360	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	282	282	578	1214	625	1675	24687	2851	1459
N.S.	1	1.00	2.05	4.30	2.22	5.94	87.54	10.11	5.17
time (sec)	N/A	0.114	0.379	0.094	0.300	3.308	7.109	1.600	3.478


Problem 361	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	223	223	413	958	472	1244	15990	2085	1144
N.S.	1	1.00	1.85	4.30	2.12	5.58	71.70	9.35	5.13
time (sec)	N/A	0.083	0.238	0.091	0.305	2.322	4.452	1.252	3.164


Problem 362	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	246	246	226	0	0	0	5692	0	-1
N.S.	1	1.00	0.92	0.00	0.00	0.00	23.14	0.00	-0.00
time (sec)	N/A	0.226	0.190	0.013	0.000	0.000	5.667	0.000	0.000


Problem 363	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	250	250	217	0	0	0	0	0	-1
N.S.	1	1.00	0.87	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.279	0.411	0.027	0.000	0.000	0.000	0.000	0.000


Problem 364	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	209	209	168	0	0	0	0	0	-1
N.S.	1	1.00	0.80	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.151	0.204	0.023	0.000	0.000	0.000	0.000	0.000


Problem 365	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	194	194	170	0	0	0	0	0	-1
N.S.	1	1.00	0.88	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.158	0.144	0.022	0.000	0.000	0.000	0.000	0.000


Problem 366	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	163	163	151	0	0	0	0	0	-1
N.S.	1	1.00	0.93	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.066	0.083	0.019	0.000	0.000	0.000	0.000	0.000


Problem 367	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	145	0	0	0	0	0	-1
N.S.	1	1.00	0.87	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.064	0.087	0.018	0.000	0.000	0.000	0.000	0.000


Problem 368	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	207	207	189	0	0	0	0	0	-1
N.S.	1	1.00	0.91	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.125	0.188	0.013	0.000	0.000	0.000	0.000	0.000


Problem 369	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	207	207	167	0	0	0	0	0	-1
N.S.	1	1.00	0.81	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.152	0.229	0.021	0.000	0.000	0.000	0.000	0.000


Problem 370	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	332	332	413	0	0	0	0	0	-1
N.S.	1	1.00	1.24	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.308	0.669	0.028	0.000	0.000	0.000	0.000	0.000


Problem 371	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	297	297	247	0	0	0	0	0	-1
N.S.	1	1.00	0.83	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.275	0.710	0.028	0.000	0.000	0.000	0.000	0.000


Problem 372	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	306	306	403	0	0	0	0	0	-1
N.S.	1	1.00	1.32	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.346	0.585	0.027	0.000	0.000	0.000	0.000	0.000


Problem 373	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	279	279	230	0	0	0	0	0	-1
N.S.	1	1.00	0.82	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.206	0.286	0.026	0.000	0.000	0.000	0.000	0.000


Problem 374	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	304	304	253	0	0	0	0	0	-1
N.S.	1	1.00	0.83	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.285	0.303	0.024	0.000	0.000	0.000	0.000	0.000


Problem 375	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	489	489	391	0	0	0	0	0	-1
N.S.	1	1.00	0.80	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.407	0.682	0.013	0.000	0.000	0.000	0.000	0.000


Problem 376	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	513	513	437	0	0	0	0	0	-1
N.S.	1	1.00	0.85	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.487	0.530	0.026	0.000	0.000	0.000	0.000	0.000


Problem 377	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	399	377	275	0	0	0	131	0	-1
N.S.	1	0.94	0.69	0.00	0.00	0.00	0.33	0.00	-0.00
time (sec)	N/A	0.501	0.128	0.016	0.000	0.000	18.965	0.000	0.000


Problem 378	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	164	150	113	0	0	0	82	0	-1
N.S.	1	0.91	0.69	0.00	0.00	0.00	0.50	0.00	-0.01
time (sec)	N/A	0.090	0.070	0.010	0.000	0.000	7.101	0.000	0.000


Problem 379	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	148	148	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.121	0.106	0.015	0.000	0.000	0.000	0.000	0.000


Problem 380	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	295	295	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.289	0.178	0.015	0.000	0.000	0.000	0.000	0.000


Problem 381	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	125	112	0	0	0	950	0	-1
N.S.	1	1.00	0.90	0.00	0.00	0.00	7.60	0.00	-0.01
time (sec)	N/A	0.062	0.140	0.018	0.000	0.000	13.623	0.000	0.000


Problem 382	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	125	112	0	0	0	950	0	-1
N.S.	1	1.00	0.90	0.00	0.00	0.00	7.60	0.00	-0.01
time (sec)	N/A	0.061	0.121	0.014	0.000	0.000	9.272	0.000	0.000


Problem 383	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	100	100	87	0	0	0	364	0	-1
N.S.	1	1.00	0.87	0.00	0.00	0.00	3.64	0.00	-0.01
time (sec)	N/A	0.041	0.118	0.015	0.000	0.000	7.512	0.000	0.000


Problem 384	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	100	100	87	0	0	0	364	0	-1
N.S.	1	1.00	0.87	0.00	0.00	0.00	3.64	0.00	-0.01
time (sec)	N/A	0.042	0.116	0.012	0.000	0.000	5.005	0.000	0.000


Problem 385	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	71	0	0	0	65	0	-1
N.S.	1	1.00	0.95	0.00	0.00	0.00	0.87	0.00	-0.01
time (sec)	N/A	0.022	0.073	0.011	0.000	0.000	4.159	0.000	0.000


Problem 386	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	70	70	98	0	0	0	61	0	65
N.S.	1	1.00	1.40	0.00	0.00	0.00	0.87	0.00	0.93
time (sec)	N/A	0.014	0.109	0.009	0.000	0.000	2.784	0.000	3.363


Problem 387	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	88	88	88	0	0	0	65	0	-1
N.S.	1	1.00	1.00	0.00	0.00	0.00	0.74	0.00	-0.01
time (sec)	N/A	0.034	0.102	0.008	0.000	0.000	4.034	0.000	0.000


Problem 388	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	91	0	0	0	68	0	-1
N.S.	1	1.00	1.00	0.00	0.00	0.00	0.75	0.00	-0.01
time (sec)	N/A	0.035	0.104	0.007	0.000	0.000	4.146	0.000	0.000


Problem 389	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	92	92	89	0	0	0	71	0	-1
N.S.	1	1.00	0.97	0.00	0.00	0.00	0.77	0.00	-0.01
time (sec)	N/A	0.037	0.102	0.013	0.000	0.000	5.811	0.000	0.000


Problem 390	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	188	188	205	0	0	0	2883	0	-1
N.S.	1	1.00	1.09	0.00	0.00	0.00	15.34	0.00	-0.01
time (sec)	N/A	0.121	0.269	0.023	0.000	0.000	19.154	0.000	0.000


Problem 391	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	177	169	156	0	0	0	986	0	-1
N.S.	1	0.95	0.88	0.00	0.00	0.00	5.57	0.00	-0.01
time (sec)	N/A	0.107	0.276	0.020	0.000	0.000	18.005	0.000	0.000


Problem 392	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	149	149	152	0	0	0	1294	0	-1
N.S.	1	1.00	1.02	0.00	0.00	0.00	8.68	0.00	-0.01
time (sec)	N/A	0.097	0.194	0.019	0.000	0.000	10.343	0.000	0.000


Problem 393	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	152	144	139	0	0	0	400	0	-1
N.S.	1	0.95	0.91	0.00	0.00	0.00	2.63	0.00	-0.01
time (sec)	N/A	0.093	0.235	0.017	0.000	0.000	9.646	0.000	0.000


Problem 394	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	113	113	184	0	0	0	408	0	-1
N.S.	1	1.00	1.63	0.00	0.00	0.00	3.61	0.00	-0.01
time (sec)	N/A	0.066	0.196	0.015	0.000	0.000	5.473	0.000	0.000


Problem 395	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	133	125	133	0	0	0	97	0	-1
N.S.	1	0.94	1.00	0.00	0.00	0.00	0.73	0.00	-0.01
time (sec)	N/A	0.054	0.184	0.016	0.000	0.000	5.277	0.000	0.000


Problem 396	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	118	118	101	0	0	0	109	0	-1
N.S.	1	1.00	0.86	0.00	0.00	0.00	0.92	0.00	-0.01
time (sec)	N/A	0.063	0.163	0.013	0.000	0.000	5.078	0.000	0.000


Problem 397	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	134	0	0	0	95	0	-1
N.S.	1	1.00	1.06	0.00	0.00	0.00	0.75	0.00	-0.01
time (sec)	N/A	0.083	0.210	0.011	0.000	0.000	5.392	0.000	0.000


Problem 398	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	119	0	0	0	119	0	-1
N.S.	1	1.00	0.94	0.00	0.00	0.00	0.94	0.00	-0.01
time (sec)	N/A	0.084	0.166	0.018	0.000	0.000	7.188	0.000	0.000


Problem 399	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	247	241	249	0	0	0	2919	0	-1
N.S.	1	0.98	1.01	0.00	0.00	0.00	11.82	0.00	-0.00
time (sec)	N/A	0.160	0.381	0.012	0.000	0.000	34.489	0.000	0.000


Problem 400	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	249	241	249	0	0	0	2919	0	-1
N.S.	1	0.97	1.00	0.00	0.00	0.00	11.72	0.00	-0.00
time (sec)	N/A	0.158	0.346	0.023	0.000	0.000	23.604	0.000	0.000

[next] [prev] [prev-tail] [front] [up]